DIR: message-automata

DIR: distributed-systems

DIR: general-theory

DIR: special-theory

DIR: lemmas

DIR: feasible-consistent

DIR: unnecessary